indices (
  (i = 1 -- 2)
)

cevidence (
)

bevidence (
  (b_1 = true)
)

query (x_2 o_1)
